Abstract Interpretation: a Semantics-Based Tool for Program Analysis
نویسندگان
چکیده
Interpretation: a Semantics-Based Tool for Program Analysis Neil D. Jones DIKU, University of Copenhagen, Denmark Flemming Nielson Computer Science Department, Aarhus University, Denmark
منابع مشابه
Type Analysis for CHIP
This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speciica-tion that approximates the semantics of a given program. The semantics of interest is an operational \call-success" semantics. The main intended application is program debugging. We consider a restricted class of spec-iications, which are regular types of constrai...
متن کاملIntroduction to Abstract Interpretation
interpretation is a tool for constructing semantics based program analyses. These notes are written for the Introduction to Semantics course and assume knowledge of the Introduction to Domain Theory notes. They present some of the basic ideas in abstract interpretation using examples of program analyses expressed in this framework. The current version is still not completely finished. Suggestio...
متن کاملSemantics and Analysis of Instruction List Programs
Instruction List (IL) is a simple typed assembly language commonly used in embedded control. There is little tool support for IL and, although defined in the IEC 61131-3 standard, there is no formal semantics. In this work we develop a formal operational semantics. Moreover, we present an abstract semantics, which allows approximative program simulation for a (possibly infinte) set of inputs in...
متن کاملOptimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
In this paper we apply abstract interpretation to systematically derive, compose and compare semantics according to their expressive power. The main results are: (1) a deenition of a hierarchy of collecting semantics , including well known semantics for logic programs, where semantics can be related to each other by abstract interpretation; (2) a characterization of collecting and abstract sema...
متن کاملAbstract Interpretation Based Static Analysis Parameterized by Semantics
Interpretation Based Static Analysis Parameterized by Semantics
متن کامل